#ifndef __EKF_TASK_H__
#define __EKF_TASK_H__

#include <global/header/types.h>

uintptr_t ekf_lcpu_get_kstack_top(int lcpu);
void      ekf_lcpu_set_kstack_top(int lcpu, uintptr_t ksp);

#endif
